home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_text / faqs / prolog.faq < prev    next >
Text File  |  1993-07-11  |  13KB  |  367 lines
  1. From charnel!rat!usc!cs.utexas.edu!uunet!destroyer!cs.ubc.ca!fornax!jamie Sat Jul 10 22:46:38 PDT 1993
  2. Article: 5572 of comp.lang.prolog
  3. Newsgroups: comp.lang.prolog,news.answers,comp.answers
  4. Path: charnel!rat!usc!cs.utexas.edu!uunet!destroyer!cs.ubc.ca!fornax!jamie
  5. From: jamie@cs.sfu.ca (Jamie Andrews)
  6. Subject: comp.lang.prolog Frequently Asked Questions
  7. Message-ID: <prolog/faq-1-741517206@cs.sfu.ca>
  8. Followup-To: comp.lang.prolog
  9. Summary: Information about free Prolog implementations; contact names for commercial systems; controversial topics.
  10. Supersedes: <prolog/faq-1-740221203@cs.sfu.ca>
  11. Reply-To: jamie@cs.sfu.ca (Jamie Andrews)
  12. Organization: Logic Programming Lab, Computer Science, Simon Fraser University
  13. Date: Thu, 1 Jul 1993 09:00:11 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: 07/19/93
  16. Lines: 346
  17. Xref: charnel comp.lang.prolog:5572 news.answers:9937 comp.answers:1175
  18.  
  19. Posted-By: auto-faq script
  20. Archive-name: prolog/faq
  21.  
  22. Original-by: jamie@cs.sfu.ca (Jamie Andrews)
  23. Version: 1.11
  24. Last-modified: 4/15/93 by jamie@cs.sfu.ca (Jamie Andrews)
  25.  
  26.      This article contains the answers to some Frequently Asked
  27. Questions (FAQ) often seen in comp.lang.prolog.  It is posted
  28. (twice a month, currently on the 1st and 16th) to help reduce
  29. volume in this newsgroup and to provide hard-to-find information
  30. of general interest.
  31.  
  32.      This article includes answers to the following questions.
  33.  
  34. 0. General information
  35. 1. What is the Association for Logic Programming?
  36. 2. Where can I get a public-domain, free Prolog for (the IBM PC,
  37.    the Mac, Unix)?
  38. 3. What commercial systems are available?  What about systems
  39.    available for a price from research institutions?
  40. 4. How do I get in touch with my Prolog's users' group,
  41.    sales representative, or technical support line?
  42. 5. I think language X is better than Prolog.  What do you think?
  43. 6. My Prolog prof assigned me this problem.  Can you help
  44.    me with it?
  45. 7. Can you suggest some books on Prolog?
  46. 8. Are there any FTP archive sites for comp.lang.prolog?
  47. 9. How can I get a copy of the draft ISO Prolog standard?
  48.    Where can I go for more information about it?
  49.  
  50.      Please forward suggestions for further questions and
  51. answers to the current FAQ maintainer, jamie@cs.sfu.ca (Jamie
  52. Andrews).
  53.  
  54. Changes in this version:
  55. * Added contact information for Amziod.
  56. * Updated information for Open Prolog.
  57. * Added question 9.
  58.  
  59.             *    *    *
  60.  
  61. 0. General information
  62.  
  63.      The newsgroup "comp.lang.prolog" discusses the language
  64. Prolog and other "logic programming" languages.  Logic
  65. programming languages, in general, are programming languages
  66. which incorporate some of the language of mathematical logic;
  67. unification and backtracking search are common operational
  68. features.  For more background information about Prolog, see the
  69. list of books in Question 7 of this list.
  70.  
  71.             *    *    *
  72.  
  73. 1. What is the Association for Logic Programming?
  74.  
  75.      To keep up with the current state of logic programming
  76. technology, readers can join the Association for Logic
  77. Programming (ALP) and receive their Newsletter.  For details on
  78. how to join, contact:
  79.  
  80.         Cheryl Anderson,
  81.         ALP Administrative Secretary,
  82.         Dept. of Computing,
  83.         Imperial College,
  84.         180 Queen's Gate,
  85.         London, SW7 2BZ, UK
  86.  
  87. Email:   csa@doc.ic.ac.uk
  88. Fax:    +44 71 589 1552
  89. Phone:  +44 71 589 5111 x5011
  90.  
  91.      The Prolog Resource Guide (v0.6) was printed in issue 5/1
  92. of the Newsletter (Feb. 1992). This lists information concerning
  93. Prolog Archives, Books, Suppliers, etc.  It is now maintained by
  94. Mark Kantrowitz (Mark.Kantrowitz@GLINDA.OZ.CS.CMU.EDU), and
  95. posted periodically to comp.lang.prolog (see question 3).
  96.  
  97.      To send in Newsletter contributions, write to:
  98.  
  99.         Andrew Davison,
  100.         Dept. of Computer Science,
  101.         University of Melbourne,
  102.         Parkville,
  103.         Melbourne, Victoria 3052,
  104.         AUSTRALIA
  105.  
  106. Email:   ad@cs.mu.oz.au
  107. Fax:    +61 3 348 1184
  108. Phone:  +61 3 344 7207 / 5230
  109. Telex:   AA 35185
  110.  
  111.             *    *    *
  112.  
  113. 2. Where can I get a public-domain, free Prolog for (the IBM PC,
  114.    the Mac, Unix)?
  115.  
  116.      The following are anonymous-FTP sites for free Prologs
  117. which are either in the public domain or are "copy-lefted"
  118. (permitted to be copied with some restrictions on commercial use).
  119.  
  120.      [Please see Mark Kantrowitz's monthly "Prolog Resource
  121. Guide" posting (see question 3) for information about non-free
  122. implementations.]
  123.  
  124.      (Please note that for extensive development work, users
  125. will probably want a robust interpreter or compiler with good
  126. debugging facilities and a standard syntax, among other things.
  127. While public-domain systems are a valuable service to the
  128. community, they do not necessarily have all these things, and
  129. users should weigh carefully what they want to do against the
  130. capabilities and costs of the available systems.)
  131.  
  132. For the IBM PC:
  133. - BinProlog 1.39, anonymous FTP from clement.info.umoncton.ca
  134.   (139.103.16.2), directory BinProlog.  Compiler for IBM PC 386.
  135.   E-mail: tarau@info.umoncton.ca (Paul Tarau).
  136. - Anonymous FTP from aisun1.ai.uga.edu, directory ai.prolog;
  137.   download "Contents" first.  Two systems.
  138.   E-mail: mcovingt@uga.cc.uga.edu (Michael Covington).
  139. - SWI Prolog, anonymous FTP from swi.psy.uva.nl (192.42.96.1),
  140.   directory pub/SWI-Prolog; or from ftp.th-darmstadt.de
  141.   (130.83.55.75), directory pub/programming/languages/prolog.
  142.   Portable, copy-lefted.
  143.  
  144. For the Apple Macintosh:
  145. - Anonymous FTP from aisun1.ai.uga.edu, directory ai.prolog;
  146.   download "Contents" first.
  147.   E-mail: mcovingt@uga.cc.uga.edu (Michael Covington).
  148. - Open Prolog, anonymous FTP from grattan.cs.tcd.ie (or
  149.   134.226.32.15), directory pub/languages/open-prolog.  In
  150.   SEA/binhex form.
  151.   E-mail: brady@cs.tcd.ie (Michael Brady).
  152. - UPMAIL Tricia Prolog, anonymous FTP from ftp.csd.uu.se
  153.   (130.238.12.1), directory pub/Tricia; get README first.
  154.   Email: tricia-request@csd.uu.se.
  155.  
  156. For Unix systems:
  157. - BinProlog 1.39, anonymous FTP from clement.info.umoncton.ca
  158.   (139.103.16.2), directory BinProlog.  Compiler for SPARC and Sun/3.
  159.   E-mail: tarau@info.umoncton.ca (Paul Tarau).
  160. - SWI Prolog, anonymous FTP from swi.psy.uva.nl (192.42.96.1),
  161.   directory pub/SWI-Prolog; or from ftp.th-darmstadt.de
  162.   (130.83.55.75), directory pub/programming/languages/prolog.
  163.   Portable, copy-lefted.
  164. - SB-Prolog, anonymous FTP from cs.arizona.edu, directory
  165.   "sbprolog/v3".  Version 3.  Copy-lefted.
  166. - Modular SB-Prolog (= SB-Prolog version 3.1 plus modules),
  167.   anonymous FTP from ftp.dcs.ed.ac.uk (129.215.160.5), file
  168.   pub/dts/mod-prolog.tar.Z .  Interpreter for SPARC.
  169.   E-mail: mprolog@dcs.ed.ac.uk (Brian Paxton).
  170. - ALF (Algebraic Logic Functional language), WAM-based language
  171.   with narrowing/rewriting, anonymous FTP from ftp.germany.eu.net,
  172.   directory "pub/programming/languages/LogicFunctional".
  173.   E-mail: opalla@julien.informatik.uni-dortmund.de (Rudolf Opalla).
  174. - CLP(R), available by e-mail request from Joxan Jaffar,
  175.   "joxan@watson.ibm.com".  Constraint logic programming language,
  176.   for academic and research purposes only.
  177.  
  178.             *    *    *
  179.  
  180. 3. What commercial systems are available?  What about systems
  181.    available for a price from research institutions?
  182.  
  183.      Many commercial systems are listed in the periodically
  184. posted Prolog Resource Guide.  The Resource Guide also lists
  185. many systems which are not exactly "commercial", but available
  186. for a price from research instutitions.  The list of such
  187. systems was originally compiled by Chris Moss, of Imperial
  188. College.  The rest of the Resource Guide was originally compiled
  189. by Dag Wahlberg, of Uppsala University.
  190.  
  191.      The Resource Guide is now maintained by the kind efforts
  192. of Mark Kantrowitz, "Mark.Kantrowitz@GLINDA.OZ.CS.CMU.EDU", who
  193. posts it ON THE 14TH OF EVERY MONTH on comp.lang.prolog.  It is
  194. also available by anonymous FTP from "ftp.cs.cmu.edu" [128.2.206.173]
  195. in the directory "/afs/cs.cmu.edu/user/mkant/Public/AI/", as the
  196. file "prolog-resource-guide.text".
  197.  
  198.      Readers should also note that the newly formed Prolog
  199. Vendors' Group is contactable electronically via the Secretary,
  200. Al Roth.  His email is "alroth@cix.compulink.co.uk".
  201.  
  202.             *    *    *
  203.  
  204. 4. How do I get in touch with my Prolog's users' group,
  205.    sales representative, or technical support line?
  206.  
  207.      Here are some e-mail addresses of these contacts, listed
  208. alphabetically by company or major product name.  Please note
  209. that sometimes phoning or writing to the company will get better
  210. response than e-mail.
  211.  
  212. ALS (Applied Logic Systems): 
  213.   Information:    info@als.com
  214.   Sales:    sales@als.com
  215.   Tech support:    support@als.com
  216.  
  217. Amziod (Cogent Prolog):
  218.   All:        amziod@world.std.com
  219.  
  220. LPA:
  221.   Sales:    lpa@cix.compulink.co.uk
  222.   Tech support:    lpa@cix.compulink.co.uk
  223.  
  224. PDC Prolog:
  225.   Information:    pdc-request@pdc.dk
  226.   Sales:    sales@pdc.dk
  227.   Tech support:    support@pdc.dk
  228.  
  229. ProLog by BIM:
  230.   Contact:    prolog@sunbim.be (Kathleen Pierco)
  231.  
  232. Prolog-2:
  233.   Users' group:    prolog2-request@hplb.hpl.hp.com
  234.  
  235. Quintus:
  236.   Users' group:    quintus-users-request@quintus.com
  237.   Sales:    sales@quintus.com
  238.   Tech support:    teksup@quintus.com
  239.  
  240. Sepia:
  241.   User's group:    sepia_users@ecrc.de
  242.   Information:    sepia_request@ecrc.de
  243.   Tech support:    sepia_bugs@ecrc.de
  244.  
  245. SICStus:
  246.   Users' group:    sicstus-users-request@sics.se
  247.   Sales:    sicstus-request@sics.se
  248.   Tech support:    sicstus-bug@sics.se
  249.  
  250. Turbo Prolog:
  251.   Turbo Prolog is the older name for PDC Prolog (see above).
  252.  
  253.             *    *    *
  254.  
  255. 5. I think language X is better than Prolog.  What do you think?
  256.  
  257.      These debates rarely result in any productive discussion.
  258. To some extent, one's favourite language is based on irrational
  259. ideology.
  260.  
  261.      However, many people now agree that different languages are
  262. good for different things.  Prolog seems to be good for problems
  263. in which logic is intimately involved, or whose solutions have a
  264. succinct logical characterization.  Like other interactive,
  265. symbolic languages, Prolog is also good for rapid prototyping.
  266.  
  267.      Also, please note that there are many different "Prologs"
  268. and other logic programming languages available, all with
  269. different capabilities.
  270.  
  271.             *    *    *
  272.  
  273. 6. My Prolog prof assigned me this problem.  Can you help
  274.    me with it?
  275.  
  276.      If your instructor assigned it to you, he or she probably
  277. wanted you to do it yourself.  If it's an introductory Prolog
  278. course, your question might be elementary to most readers, so it
  279. might be a waste of network resources to ask it.  Please ask
  280. your instructor, a friend, a teaching assistant, or a local
  281. newsgroup for help first.
  282.  
  283.      That being said, there are comp.lang.prolog readers who
  284. would be glad to help people making a legitimate attempt to
  285. learn Prolog.
  286.  
  287.             *    *    *
  288.  
  289. 7. Can you suggest some books on Prolog?
  290.  
  291.      The Prolog Resource Guide (see above, question 3) contains
  292. a listing of Prolog books.  It is maintained by Mark Kantrowitz
  293. (Mark.Kantrowitz@GLINDA.OZ.CS.CMU.EDU), and posted periodically
  294. on comp.lang.prolog.
  295.  
  296.      Here are some of the most popular books on Prolog.
  297.  
  298. _Programming in Prolog_.  William F. Clocksin and Christopher S.
  299. Mellish.  Springer-Verlag, 1987.  (Introductory.)
  300.  
  301. _The Art of Prolog:  Advanced Programming Techniques_.  Leon
  302. Sterling and Ehud Shapiro.  MIT Press, 1986.  (Advanced.)
  303.  
  304. _The Craft of Prolog_.  Richard A. O'Keefe.  MIT Press, 1990.
  305. (Advanced.)
  306.  
  307. _Foundations of Logic Programming_.  John Lloyd. 
  308. Springer-Verlag, 1988 (2nd ed).  (Logic programming theory.)
  309.  
  310.             *    *    *
  311.  
  312. 8. Are there any FTP archive sites for comp.lang.prolog?
  313.  
  314.      Yes.  As of the latest check, the following archive sites
  315. contain selected recent articles from comp.lang.prolog in the
  316. indicated directories.
  317.  
  318. "cs.dal.ca": /pub/comp.archives/comp.lang.prolog
  319. "pit-manager.mit.edu": /pub/usenet/comp.lang.prolog
  320. "src.doc.ic.ac.uk": /usenet/comp.archives/auto/comp.lang.prolog
  321. "cnam.cnam.fr": /pub/Archives/comp.archives/auto/comp.lang.prolog
  322.  
  323.      Some other sites contain copies of this FAQ list and the
  324. Prolog Resource Guide (see question 3).  For users with "archie"
  325. access, type "archie comp.lang.prolog" for an up-to-date list of
  326. sites having either archives or the periodic postings.
  327.  
  328.             *    *    *
  329.  
  330. 9. How can I get a copy of the draft ISO Prolog standard?
  331.    Where can I go for more information about it?
  332.  
  333.      You can pick up a copy by anonymous FTP from site
  334. "ai.uga.edu", directory "ai.prolog.standard".  Note that no one
  335. at this site can answer any questions about the standard; it is
  336. just an FTP site for the standard in the USA.
  337.  
  338.      For more information about the ISO Prolog standard, contact
  339.  
  340. Roger Scowen 
  341. ISO/IEC JTC1 SC22 WG17 (Prolog) convener, 
  342. DITC/93,  National Physical Laboratory
  343. TEDDINGTON, Middlesex TW11 0LW
  344. UNITED KINGDOM
  345. Tel: +44 81 943 6956
  346. Fax: +44 81 977 7091
  347. E-mail: rss@seg.npl.co.uk
  348.  
  349.             *    *    *
  350.  
  351. Acknowledgements
  352.  
  353.      For help in putting together this FAQ, thanks to Andrew
  354. Davison, Mike Brady, Michael Covington, Stephen Bevan, John
  355. Dowding, Thilo Kielmann, Paul Singleton, Dave Moffatt, Dani de
  356. Ridder, Per Bilse, Chris Moss, Kathleen Pierco, Paul Tarau,
  357. Jonathan Kamens, Jan Wielemaker, Dag Wahlberg, Micha Meier, Don
  358. Sannella, Clive Spenser, Yuan Liu, Jonas Barklund, and Ian
  359. Dickinson.  Special thanks to John Dowding for suggesting a good
  360. format for the list, and to Chris Moss, Dag Wahlberg, and Mark
  361. Kantrowitz for their work on the Prolog Resource Guide.
  362.  
  363. --Jamie Andrews.
  364.   jamie@cs.sfu.ca
  365.  
  366.  
  367.